// Agent sample_agent in project aspirador

/* Initial beliefs and rules */

//+pos(0,0,5).

/* Initial goals */

!check(0, 5).

/* Plans */


+pos(X, Y) : not empecilho(1) & not em_cima(1) <- !check(X,Y).

+pos(X, Y) : empecilho(1) & em_cima(1) <- aspirar(1); !check(X, Y).

+pos(X, Y) : em_cima(1) <- aspirar(1); !check(X, Y).

+pos(X, Y) : empecilho(1) & not em_cima(1) <- !direcao_empecilho(1).

+!check(X, Y) : empecilho(1) <- !direcao_empecilho(1).

+!check(X, Y) : not empecilho(1) <- next(X, Y).

+!direcao_empecilho(1) <- ?pos_empecilho(X1, Y1); mover(X1, Y1).	 	